<HTML>
<HEAD>
<SCRIPT LANGUAGE="JavaScript">
<!-- Begin
window.location="http://www.cl.cam.ac.uk/users/mjcg/Teaching/SpecVer1/SpecVer1.html";
// End -->
</script>
<noscript>
</HEAD>
<BODY>
<A HREF="http://www.cl.cam.ac.uk/users/mjcg/Sugar/">
Semantic embedding of Accellera PSL (Sugar) in HOL</A>
</BODY>
</HTML>
